The GF Mathematics Library
نویسندگان
چکیده
منابع مشابه
The GF Mathematics Library
An archetypal meeting point for natural language processing and mathematics education is the realm of word problems [4, 14, 15], a realm in which mechanised mathematics assistants (MMA) are expected to play an ever more prominent role in the years to come. The following example, to which we will refer later on (last subsection of 3), is meant to illustrate in a concrete way the idea of a word p...
متن کاملThe GF Mathematics Library * Jordi
An archetypal meeting point for natural language processing and mathematics education is the realm of word problems [4, 14, 15], a realm in which mechanised mathematics assistants (MMA) are expected to play an ever more prominent role in the years to come. The following example, to which we will refer later on (last subsection of 3), is meant to illustrate in a concrete way the idea of a word p...
متن کاملFrameNet Resource Grammar Library for GF
In this paper we present an ongoing research investigating the possibility and potential of integrating frame semantics, particularly FrameNet, in the Grammatical Framework (GF) application grammar development. An important component of GF is its Resource Grammar Library (RGL) that encapsulates the low-level linguistic knowledge about morphology and syntax of currently more than 20 languages fa...
متن کاملDialogue System Localization with the GF Resource Grammar Library
We present two experiments in the localization of spoken dialogue systems. The domain of the dialogue system is an MP3 application for automobiles. In the first experiment, a grammar in Nuance GSL format was rewritten in Grammatical Framework (GF). Within GF, the grammar was extended from two to six languages, giving a baseline for semantically complete grammars. In the second experiment, the G...
متن کاملToward a digital mathematics library?
After an overview of theworldwidemathematical journals ecosystem, we summarise some of the hopes and fears raised by the digital environment. We then review the underlying principles and main features of some of the projects launched by Cellule MathDoc that aim at settling robust foundations and giving wider access to academic mathematical research journals. In turn, they could prefigure some b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.79.6